Relaxing the vacuum
نویسندگان
چکیده
منابع مشابه
Relaxing the Value Restriction
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advantages over previous approaches, it forbids polymorphism in many cases where it would be sound. We use a subtyping based approach to recover part of this lost polymorphism, without changing the type algebra itself, and t...
متن کاملRelaxing the Gaussian AVC
The arbitrarily varying channel (AVC) is a conservative way of modeling an unknown interference, and the corresponding capacity results are pessimistic. We reconsider the Gaussian AVC by relaxing the classical model and thereby weakening the adversarial nature of the interference. We examine three different relaxations. First, we show how a very small amount of common randomness between transmi...
متن کاملRelaxing messages from the sarcolemma
593 C o m m e n t a r y In spite of the detailed understanding reached in the last 50 years about the molecular mechanisms of muscle excitability, the localization of the Cl conductance, G Cl , in muscle has remained highly contended. In this issue, Lueck et al. address this long-standing controversy, measuring directly the Cl current mediated by the ClC-1 channel using the patch clamp tech...
متن کاملRelaxing stratification
A number of ways of relaxing the stratification constraint for the axioms of Quine’s NF are reviewed. It is shown how most of them result in
متن کاملRelaxing near the Critical Point
Critical slowing down of the relaxation of the order parameter has phenomenological consequences in early universe cosmology and in ultrarelativistic heavy ion collisions. We study the relaxation rate of long-wavelength fluctuations of the order parameter in an O(N) scalar theory near the critical point to model the non-equilibrium dynamics of critical fluctuations near the chiral phase transit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Materials
سال: 2009
ISSN: 1476-1122,1476-4660
DOI: 10.1038/nmat2516